Gulwani, Sumit : rechercher sur Z-Library

Journal:

Gulwani, Sumit, Zuleger, Florian

Année:

2016

Langue:

english

Fichier:

PDF, 458 KB

english, 2016

The reachability-bound problem

Journal:

Sumit Gulwani, George C. Necula

Année:

2010

Langue:

english

Fichier:

PDF, 730 KB

english, 2010

A polynomial-time algorithm for global value numbering

Journal:

Science of Computer Programming

Année:

2007

Langue:

english

Fichier:

PDF, 953 KB

english, 2007

Synthesizing switching logic using constraint solving

Ankur Taly, Sumit Gulwani, Ashish Tiwari

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2011

Langue:

english

Fichier:

PDF, 540 KB

english, 2011

A randomized satisfiability procedure for arithmetic and uninterpreted function symbols

Sumit Gulwani, George C. Necula

Journal:

Information and Computation

Année:

2005

Langue:

english

Fichier:

PDF, 336 KB

english, 2005

Spreadsheet data manipulation using examples

Gulwani, Sumit, Harris, William R., Singh, Rishabh

Journal:

Srivastava, Saurabh, Gulwani, Sumit, Foster, Jeffrey S.

Année:

2012

Langue:

english

Fichier:

PDF, 614 KB

english, 2012

Template-based program verification and program synthesis

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2013

Langue:

english

Fichier:

PDF, 514 KB

english, 2013

[ACM Press Proceeding of the 11th annual international conference - Taipei, Taiwan (2013.06.25-2013.06.28)] Proceeding of the 11th annual international conference on Mobile systems, applications, and services - MobiSys '13 - SmartSynth

Le, Vu, Gulwani, Sumit, Su, Zhendong

Année:

2013

Langue:

english

Fichier:

PDF, 1.32 MB

english, 2013

[IEEE 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2012.09.26-2012.09.29)] 2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Synthesis from Examples: Interaction Models and Algorithms

Tillmann, Nikolai, de Halleux, Jonathan, Xie, Tao, Gulwani, Sumit, Bishop, Judith

Année:

2012

Langue:

english

Fichier:

PDF, 403 KB

english, 2012

[IEEE 2013 35th International Conference on Software Engineering (ICSE) - San Francisco, CA, USA (2013.05.18-2013.05.26)] 2013 35th International Conference on Software Engineering (ICSE) - Teaching and learning programming and software engineering via interactive gaming

Année:

2013

Langue:

english

Fichier:

PDF, 794 KB

english, 2013

Automated feedback generation for introductory programming assignments

Singh, Rishabh, Gulwani, Sumit, Solar-Lezama, Armando

Journal:

Gulwani, Sumit, Jha, Susmit, Tiwari, Ashish, Venkatesan, Ramarathnam

Année:

2013

Langue:

english

Fichier:

PDF, 1.17 MB

english, 2013

Synthesis of loop-free programs

Journal:

Année:

2011

Langue:

english

Fichier:

PDF, 664 KB

english, 2011

[ACM Press the 42nd Annual ACM SIGPLAN-SIGACT Symposium - Mumbai, India (2015.01.15-2015.01.17)] Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '15 - Automating Repetitive Tasks for the Masses

Gulwani, Sumit, Radiček, Ivan, Zuleger, Florian

Année:

2015

Langue:

english

Fichier:

PDF, 1.75 MB

english, 2015

[ACM Press the 22nd ACM SIGSOFT International Symposium - Hong Kong, China (2014.11.16-2014.11.21)] Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2014 - Feedback generation for performance problems in introductory programming assignments

Année:

2014

Langue:

english

Fichier:

PDF, 417 KB

english, 2014

Continuity and robustness of programs

Chaudhuri, Swarat, Gulwani, Sumit, Lublinerman, Roberto

Journal:

Année:

2012

Langue:

english

Fichier:

PDF, 873 KB

english, 2012

Example-based learning in computer-aided STEM education

Journal:

Srivastava, Saurabh, Gulwani, Sumit, Foster, Jeffrey S.

Année:

2014

Langue:

english

Fichier:

PDF, 567 KB

english, 2014

From program verification to program synthesis

Journal:

Gulwani, Sumit, Srivastava, Saurabh, Venkatesan, Ramarathnam

Année:

2010

Langue:

english

Fichier:

PDF, 534 KB

english, 2010

[ACM Press the 2008 ACM SIGPLAN conference - Tucson, AZ, USA (2008.06.07-2008.06.13)] Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation - PLDI '08 - Program analysis as constraint solving

Année:

2008

Langue:

english

Fichier:

PDF, 312 KB

english, 2008

[ACM Press the ACM international conference - Reno/Tahoe, Nevada, USA (2010.10.17-2010.10.21)] Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '10 - A simple inductive synthesis methodology and its applications

Itzhaky, Shachar, Gulwani, Sumit, Immerman, Neil, Sagiv, Mooly

Année:

2010

Langue:

english

Fichier:

PDF, 610 KB

english, 2010

[ACM Press the 35th annual ACM SIGPLAN-SIGACT symposium - San Francisco, California, USA (2008.01.07-2008.01.12)] Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '08 - Lifting abstract interpreters to quantified logical domains

Gulwani, Sumit, McCloskey, Bill, Tiwari, Ashish

Année:

2008

Langue:

english

Fichier:

PDF, 277 KB

english, 2008

[ACM Press the 2006 ACM SIGPLAN conference - Ottawa, Ontario, Canada (2006.06.11-2006.06.14)] Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation - PLDI '06 - Combining abstract interpreters

Gulwani, Sumit, Tiwari, Ashish

Année:

2006

Langue:

english

Fichier:

PDF, 244 KB

english, 2006

[ACM Press the 34th annual ACM SIGPLAN-SIGACT symposium - Nice, France (2007.01.17-2007.01.19)] Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '07 - Program verification as probabilistic inference

Gulwani, Sumit, Jojic, Nebojsa

Année:

2007

Langue:

english

Fichier:

PDF, 716 KB

english, 2007

[ACM Press the 2009 ACM SIGPLAN conference - Dublin, Ireland (2009.06.15-2009.06.21)] Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation - PLDI '09 - Program verification using templates over predicate abstraction

Srivastava, Saurabh, Gulwani, Sumit

Année:

2009

Langue:

english

Fichier:

PDF, 620 KB

english, 2009

Control-flow refinement and progress invariants for bound analysis

Gulwani, Sumit, Jain, Sagar, Koskinen, Eric

Journal:

Année:

2009

Langue:

english

Fichier:

PDF, 524 KB

english, 2009

[ACM Press the 38th annual ACM SIGPLAN-SIGACT symposium - Austin, Texas, USA (2011.01.26-2011.01.28)] Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '11 - Automating string processing in spreadsheets using input-output examples

Gulwani, Sumit, Korthikanti, Vijay Anand, Tiwari, Ashish

Année:

2011

Langue:

english

Fichier:

PDF, 695 KB

english, 2011

Synthesizing geometry constructions

Journal:

Harris, William R., Gulwani, Sumit

Année:

2011

Langue:

english

Fichier:

PDF, 791 KB

english, 2011

[ACM Press the 32nd ACM SIGPLAN conference - San Jose, California, USA (2011.06.04-2011.06.08)] Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation - PLDI '11 - Spreadsheet table transformations from examples

Année:

2011

Langue:

english

Fichier:

PDF, 557 KB

english, 2011

[ACM Press the 32nd ACM SIGPLAN conference - San Jose, California, USA (2011.06.04-2011.06.08)] Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation - PLDI '11 - Path-based inductive synthesis for program inversion

Srivastava, Saurabh, Gulwani, Sumit, Chaudhuri, Swarat, Foster, Jeffrey S.

Année:

2011

Langue:

english

Fichier:

PDF, 684 KB

english, 2011

A simple inductive synthesis methodology and its applications

Itzhaky, Shachar, Gulwani, Sumit, Immerman, Neil, Sagiv, Mooly

Journal:

Perelman, Daniel, Gulwani, Sumit, Grossman, Dan, Provost, Peter

Année:

2010

Langue:

english

Fichier:

PDF, 610 KB

english, 2010

[ACM Press the 18th ACM SIGPLAN symposium - Shenzhen, China (2013.02.23-2013.02.27)] Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '13 - From relational verification to SIMD loop synthesis

Barthe, Gilles, Crespo, Juan Manuel, Kunz, Cesar, Gulwani, Sumit, Marron, Mark

Année:

2013

Langue:

english

Fichier:

PDF, 1.02 MB

english, 2013

[ACM Press the 35th ACM SIGPLAN Conference - Edinburgh, United Kingdom (2014.06.09-2014.06.11)] Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14 - FlashExtract

Le, Vu, Gulwani, Sumit

Année:

2013

Langue:

english

Fichier:

PDF, 1.87 MB

english, 2013

Test-driven synthesis

Journal:

Cheema, Salman, Gulwani, Sumit, LaViola, Joseph

Année:

2014

Langue:

english

Fichier:

PDF, 397 KB

english, 2014

[ACM Press the 2012 ACM annual conference - Austin, Texas, USA (2012.05.05-2012.05.10)] Proceedings of the 2012 ACM annual conference on Human Factors in Computing Systems - CHI '12 - QuickDraw

Année:

2012

Langue:

english

Fichier:

PDF, 1.49 MB

english, 2012

[ACM Press the 2008 ACM SIGPLAN conference - Tucson, AZ, USA (2008.06.07-2008.06.13)] Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation - PLDI '08 - Inferring locks for atomic sections

Cherem, Sigmund, Chilimbi, Trishul, Gulwani, Sumit

Année:

2008

Langue:

english

Fichier:

PDF, 285 KB

english, 2008

Program analysis as constraint solving

Gulwani, Sumit, Srivastava, Saurabh, Venkatesan, Ramarathnam

Journal: